Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
نویسندگان
چکیده
Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.
منابع مشابه
ADAPTIVE FUZZY TRACKING CONTROL FOR A CLASS OF PERTURBED NONLINEARLY PARAMETERIZED SYSTEMS USING MINIMAL LEARNING PARAMETERS ALGORITHM
In this paper, an adaptive fuzzy tracking control approach is proposed for a class of single-inputsingle-output (SISO) nonlinear systems in which the unknown continuous functions may be nonlinearlyparameterized. During the controller design procedure, the fuzzy logic systems (FLS) in Mamdani type are applied to approximate the unknown continuous functions, and then, based on the minimal learnin...
متن کاملLogic in the Lab
As humans, we live in a remarkably complex social environment. One cognitive tool which helps us manage all this complexity is our theory of mind, the ability to reason about the mental states of others. By deducing what other people want, feel and think, we can understand their actions, predict how our actions will influence them, and decide how we should behave to be successful. Theory of min...
متن کاملAutomata Techniques for Epistemic Protocol Synthesis
In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model yields a relational structure that can be finitely represented with automata. This correspondence, together with recent results on uniform strat...
متن کاملDesigning a social skills model based on the role of the growth components of the language received by mediating the theory of mind in children ages four to six years old
Introduction: Social skills are a fundamental link to all aspects of the life of children. This research was designed with the aim of designing a social skills model based on the role of the growth components of the language received by mediating the theory of mind in children ages four to six years old. Method: The research method was field research. The population of this study consisted of ...
متن کاملOn the Complexity of Dynamic Epistemic Logic
Although Dynamic Epistemic Logic (DEL) is an influential logical framework for representing and reasoning about information change, little is known about the computational complexity of its associated decision problems. In fact, we only know that for public announcement logic, a fragment of DEL, the satisfiability problem and the model-checking problem are respectively PSPACE-complete and in P....
متن کامل